16. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
17. Algebraic Foundations of Many-Valued Reasoning
Author: by Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Artificial intelligence.,Computational complexity.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
